declare opaque type Foo
